Structure-Behavior Coalescence Abstract State Machine for Metamodel-Based Language in Model-Driven Engineering

نویسندگان

چکیده

In model-driven engineering (MDE), the unified modeling language (UML) 2.0 metamodel solution includes a that defines concepts and user model how are represented. UML 2.0, an important usage of is to ensure consistency between different diagrams in model. However, most existing metamodels lack integrated semantic framework project each diagram as view metamodel. To overcome shortcomings current approaches, we developed structure-behavior coalescence abstract state machine (SBC-ASM) for metamodel-based (MBL), which provides able integrate structural constructs with behavioral constructs. Using SBC-ASM MBL can be projected SBC-ASM.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering

In this paper, we present the Timed Abstract State Machine (TASM) language, which is a language for the specification of embedded real-time systems. In the engineering of embedded real-time systems, the correctness of the system is defined in terms of three aspects function, time, and resource consumption. The goal of the TASM language and its associated toolset is to provide a basis for specif...

متن کامل

A Concrete Syntax Derived From the Abstract State Machine Metamodel

In this paper we present a language for Abstract State Machine specifications. The ASM metamodel (AsmM), introduced in [18], is a MOF-compliant metamodel representing in an abstract and visual way the concepts and constructs of the ASMs formalism as described in [3]. Here we present a concrete syntax (AsmM-CS), an EBNF (extended Backus-Naur Form) grammar derived from the AsmM as a textual notat...

متن کامل

A Metamodel for Specifying Quality Models in Model- Driven Engineering

In the context of model-driven engineering, models act as the primary artifacts and are eventually transformed into other artifacts, such as code and documentation. Consequently, to evaluate and assure the quality of software systems, developers need tools and techniques that allow them to reflect upon the quality of the models themselves. This research paper discusses existing quality models b...

متن کامل

Model driven language engineering

Modeling is a most important exercise in software engineering and development and one of the current practices is object-oriented (OO) modeling. The Object Management Group (OMG) has defined a standard object-oriented modeling language – the Unified Modeling Language (UML). The OMG is not only interested in modeling languages; its primary aim is to enable easy integration of software systems an...

متن کامل

A Metamodel-based Language and a Simulation Engine for Abstract State Machines

In this paper, we present a concrete textual notation, called AsmetaL, and a general-purpose simulation engine, called AsmetaS, for Abstract State Machine (ASM) specifications. They have been developed as part of the ASMETA (ASMs mETAmodelling) toolset, which is a set of tools for ASMs based on the metamodelling approach of the Model-driven Engineering. We briefly present the ASMETA framework, ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Systems Journal

سال: 2021

ISSN: ['1932-8184', '1937-9234', '2373-7816']

DOI: https://doi.org/10.1109/jsyst.2020.3027195